From: Ting-Wei Lan <lantw@src.gnome.org>
Date: Wed, 24 May 2017 14:08:33 +0000 (+0800)
Subject: build: Use #!/bin/sh instead of #!/bin/bash
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~334
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=63f2fdd1a47c712a2f8cb3200338216e4dad9baf;p=gnome-shell.git

build: Use #!/bin/sh instead of #!/bin/bash

There is no bashism in autogen.sh now.

https://bugzilla.gnome.org/show_bug.cgi?id=780215
---

diff --git a/autogen.sh b/autogen.sh
index 0734753f7..a73a427cf 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 # Run this to generate all the initial makefiles, etc.
 
 srcdir=`dirname $0`